Computational complexity - PDFSEARCH.IO - Document Search Engine

Computational complexity
Results: 2253

#	Item
371	PREPARING ARTICLES FOR COMPUTATIONAL COMPLEXITY User’s manual Michael Nüsken 6 MarchJulyNovember 2015 Add to Reading List Source URL: dante.ctan.org Language: English - Date: 2016-03-01 06:31:34
372	CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Computational complexity theory Mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Simplex algorithm
373	IEEE Conference on Computational Complexity Paris, 2009 Wednesday:45-9:30 Registration Add to Reading List Source URL: ccc09.lri.fr Language: English - Date: 2009-05-25 08:12:27
374	The MASON HouseholdsWorld Model of Pastoral Nomad Societies Claudio Cioffi-Revilla1, J. Daniel Rogers2, and Maciek Latek 1 1 Center for Social Complexity and Department of Computational Social Science, MSN 6B2 Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2010-07-19 19:16:33
375	Graph & Geometry Problems in Data Streams 2009 Barbados Workshop on Computational Complexity Andrew McGregor Introduction Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2009-03-10 17:17:39
376	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
377	Reducing the Computational Complexity of Adjoint Computations William W. Symes CAAM, Rice University, 2007 Add to Reading List Source URL: trip.rice.edu Language: English - Date: 2007-12-17 17:17:40
378	nd 2 Summer School in Computational Biology Analyzing high-dimensional data in biology Add to Reading List Source URL: www.bio-complexity.com Language: English - Date: 2013-09-18 07:11:37
379	February 3, 2009 COM S 6810 Theory of Computing Lecture 5: Polynomial Hierarchy Instructor: Rafael Pass Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-04 17:20:26 Computational complexity theory Complexity classes Theory of computation Polynomial hierarchy P versus NP problem IP True quantified Boolean formula NP PP Oracle machine PSPACE-complete Polynomial-time reduction

UPDATE